32-bit float recorders